Modular Well-Definedness Analysis for Attribute Grammars
نویسندگان
چکیده
Extension developers deal with errors User has no conflict errors The full solution consists of: Forwarding Van Wyk. de Moor. Backhouse. Kwiathowski. "Forwarding in attribute grammars for modular language design." CC '02 Copper's modular analysis for syntax Schwerdfeger. Van Wyk. "Verifiable composition of deterministic grammars." PLDI '09 Silver's modular analysis for semantics Kaminski. Van Wyk. "Modular well-definedness analysis for attribute grammars." SLE '12 (also our topic on this poster)
منابع مشابه
Forwarding in Attribute Grammars for Modular Language Design
Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It complements existing techniques such as default copy rules. This paper introduces forwarding, and shows how it is but a small extension of standard higher-order attribute grammars. The usual tools for manipulating higher-order att...
متن کاملScaling language specifications to mainstream languages and real-world applications
This paper describes two characteristics of language specification tools that support their use at scales beyond small prototypes. First is the ability to both explicitly and implicitly (via translation) specify the semantics of language constructs. In attribute grammars this achieved by forwarding and is used to specify languages by building features on top of a smaller core language. Second i...
متن کاملImplementing aspect-oriented programming constructs as modular language extensions
Extensible programming languages and their compilers are experimental systems that use highly modular specifications of languages and language extensions in order to allow a variety of language features to be easily imported, by the programmer, into his or her programming environment. Our framework for extensible languages is based on higher-order attribute grammars extended with a mechanism ca...
متن کاملEmbedding attribute grammars and their extensions using functional zippers
Embedding Attribute Grammars and their Extensions using Functional Zippers Attribute grammars are a suitable formalism to express complex software language analysis and manipulation algorithms, which rely on multiple traversals of the underlying syntax tree. Attribute Grammars have been extended with mechanisms such as references, higher order and circular attributes. Such extensions provide a ...
متن کاملThe Template and Multiple Inheritance Approach into Attribute Grammars
Formal methods for describing programming language semantics, such as attribute grammars, operational semantics and denotational semantics, are not widely used since they are not modular, extensible and reusable. In the paper a new modular, extensible and reusable approach for specifying programming languages with attribute grammars is presented. The concepts from object-oriented programming, i...
متن کامل